VLib: Infinite Virtual Libraries for LOTOS
نویسنده
چکیده
This paper introduces VLib, an extension to LOTOS that eases the specification of data types. It allows the definition and use of virtual libraries containing conceptually an infinite number of data types. The extraction of a working finite subset for a particular application is also considered. After a general introduction to LOTOS data specification issues, the extension is explained and formally defined. A prototype tool implementing the extraction operation is described, and a specification discipline is proposed that benefits from the provided gain of functionality. Keyword codes:D.3.3; D.3.4
منابع مشابه
The position of public libraries in empowering housewives with emphasis on the capacities of cyberspace
Purpose: The purpose of this research is to investigate the role of public libraries in the social and economic empowerment of housewives, emphasizing the capacities of virtual space, especially social network sites. Method: This is an applied research that was conducted with a qualitative approach using thematic analysis method. The study population included librarians and officials of public...
متن کاملOn the Distributed Implementation of LOTOS
This paper presents an approach to the distributed implementation of multiple rendezvous, including dynamic process creation, as defined by the specification language LOTOS. The approach is based on a so-called activity tree which reflects the dynamic relationships between the active processes within the system, and a virtual ring algorithm for the distributed implementation of a set of rendezv...
متن کاملFairness in LOTOS
Fairness is an important concept related to specification languages which are based on concurrent and non-deterministic computation models; it is related to liveness. In this paper we formally introduce fairness to the LOTOS specification language by employing the standard LOTOS semantics together with a formalism which states restrictions on fair infinite execution sequences. We extend three f...
متن کاملتدوین سناریوهای متصور برای آینده نهاد رسانهای کتابخانههای عمومی ایران
Purpose: The aim of the current research is to write possible scenarios for the future of Iran's public libraries. Regarding the position and application of public libraries, they are considered as a communicative medium. Methodology: The effort is to offer scenarios that deal with the multiplicity and unpredictability of the future. The Two-on-Two model was used for determination of scenarios...
متن کاملVirtual in-service training from the librarians' point of view in libraries of medical sciences universities in Tehran
Background: In-service training courses are one of the most available programs that are used to improve the quantity and quality level of the staff services in various organizations, including libraries and information centers. With the advent of new technologies in the field of education, the problems and shortcomings of traditional in-service training courses were replaced with virtual ones. ...
متن کامل